University of Toronto. Planning systems, temporal logic, constraint satisfaction problems and formal models.

Decision making and planning under uncertainty, reinforcement learning, game theory and economic models.

Journal Club of the Toronto Computer Science Machine Learning group.

A website keeping track of developments in Gaussian processes. Has links to online papers and their authors and software.

Unsupervised learning with rich sensory input. Most noted for being a co-inventor of back-propagation.

A standard environment for evaluating the performance of learning methods. Includes a number of datasets and an archive of learning methods.

Neural network simulator based on C and Tcl. Made up of C libraries to build networks, and pre-built simulators.

Fortran 77 subroutine written by Hull, Enright and Jackson for the numerical solution of systems of initial value problems for ordinary differential equations.

Language and compiler generator system (or TWS: translator writing system) based on language. Derived from PL/I with its syntax, but structure close to C, first release 1968. Descriptions, book, port list, resources, publications list.

Local search, random SAT, artificial intelligence.